perm filename CSREAS.UNF[MRS,LSP]1 blob sn#690817 filedate 1982-12-15 generic text, type T, neo UTF8
'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) CSREAS LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON DECEMBER 15, 1982, AT 1:59 PM

;Loading DEFSTRUCT 280
'REASONING-GRAPH 
'RG-DIRECTORY-ENTRY 
'BELIEF 
'QUERY 
	(COMMENT **FASL** 0. (LAP |BELIEF-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 29. (LAP |RP-NODE-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 57. (LAP |QUERY-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 86. (LAP |BELIEF-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 115. (LAP |QUERY-DESCRIPTS MACRO| SUBR)) 
	(COMMENT **FASL** 144. (LAP |BELIEF-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 172. (LAP |QUERY-BEL-LEVEL MACRO| SUBR)) 
'EPISTATUS 
	(COMMENT **FASL** 200. (LAP |CSR:CREATE-BLF∨QRY MACRO| SUBR)) 
'REASONING-TASK 
'REASONING-PROPOSITION-NODE 
'REASONING-CONSIDERATION-LINK 
'CONSIDERATION-FORCE 
	(COMMENT **FASL** 334. (LAP |CREATE-ADVICE-CONSID MACRO| SUBR)) 
	(COMMENT **FASL** 374. (LAP CSR:COPY-CONSID SUBR)) 
'QMP-CONSID 
'STAT-CONSID 
'NEG-CONSID 
'DN-CONSID 
'CINF-CONSID 
'CACT-CONSID 
'CAUS-CONSID 
'REASONING-EXPERT 
	(COMMENT **FASL** 418. (LAP LTI-CREATE-WFF-NEGATION SUBR)) 
	(COMMENT **FASL** 435. (LAP |A-GET MACRO| SUBR)) 
	(COMMENT **FASL** 469. (LAP |R-A-GET MACRO| SUBR)) 
	(COMMENT **FASL** 503. (LAP |CSR:NEGATE-BEL-LEVEL MACRO| SUBR)) 
	(COMMENT **FASL** 530. (LAP CSR:INITIALIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 560. (LAP CSR:UPDATE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 799. (LAP CSR:GET-RP-NODE SUBR)) 
	(COMMENT **FASL** 857. (LAP CSR:UPDATE-RG-DIRECTORY SUBR)) 
	(COMMENT **FASL** 896. (LAP CSR:INSTALL-CONSID-LINK SUBR)) 
	(COMMENT **FASL** 936. (LAP CSR:PROPAGATE-DETERMINACY SUBR)) 
	(COMMENT **FASL** 980. (LAP EQUAL-EPISTATI SUBR)) 
	(COMMENT **FASL** 1003. (LAP CSR:CREATE-B∨Q-NEGATION SUBR)) 
	(COMMENT **FASL** 1115. (LAP CSR:CREATE-FUNDAMENTAL-CONTEXTS SUBR)) 
	(COMMENT **FASL** 1125. (LAP A-PUTPROP SUBR)) 
	(COMMENT **FASL** 1157. (LAP CSR:INVESTIGATE-FROM-MEMORY LSUBR)) 
	(COMMENT **FASL** 1257. (LAP CSR:CREATE-NORMAL-QUERY SUBR)) 
	(COMMENT **FASL** 1310. (LAP CSR:NORMALIZE-EPISTATUS SUBR)) 
	(COMMENT **FASL** 1366. (LAP CSR:MEMORY-LOOKUP SUBR)) 
	(COMMENT **FASL** 1368. (LAP CSR:RECORD-BELIEF SUBR)) 
	(COMMENT **FASL** 1373. (LAP CSR:HOW-CONCLUSIVE? SUBR)) 
	(COMMENT **FASL** 1403. (LAP CSR:NORMALIZE-BELIEF-TYPE SUBR)) 
	(COMMENT **FASL** 1444. (LAP CSR:ENTER-MEMORY-CONSID SUBR)) 
	(COMMENT **FASL** 1447. (LAP CSR:FIND-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 1530. (LAP CSR:FIND-REASONING-TASKS SUBR)) 
	(COMMENT **FASL** 1550. (LAP AT:INSERT-IN-AGENDA SUBR)) 
	(COMMENT **FASL** 1618. (LAP CSR:FIND-HR-TASKS SUBR)) 
	(COMMENT **FASL** 1620. (LAP CSR:FIND-RR-TASKS SUBR)) 
	(COMMENT **FASL** 1672. (LAP CSR:GET-R-EXPERT SUBR)) 
	(COMMENT **FASL** 1695. (LAP CSR:FIND-R-EXPERTS SUBR)) 
	(COMMENT **FASL** 1748. (LAP CSR:BEST-R-TASK SUBR)) 
	(COMMENT **FASL** 1771. (LAP CSR:MORE-URGENT:1 SUBR)) 
	(COMMENT **FASL** 1779. (LAP CSR:ORDER-AGENDA SUBR)) 
	(COMMENT **FASL** 1781. (LAP CSR:DO-R-TASK1-AGENDA SUBR)) 
	(COMMENT **FASL** 1805. (LAP CSR:DO-BEST-R-TASK-AGENDA SUBR)) 
	(COMMENT **FASL** 1825. (LAP CSR:DO-ALL-R-TASKS-AGENDA SUBR)) 
	(COMMENT **FASL** 1858. (LAP CSR:KNOWLEDGE-LOOKUP-ALL SUBR)) 
	(COMMENT **FASL** 1923. (LAP CSR:KNOWLEDGE-LOOKUP SUBR)) 
	(COMMENT **FASL** 1977. (LAP >-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 1993. (LAP ≥-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2012. (LAP <-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2027. (LAP ≤-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2047. (LAP CSR:COMPOSE-CONSIDERATIONS SUBR)) 
	(COMMENT **FASL** 2172. (LAP CSR:ONE-DOMINATING-DED-CONSID SUBR)) 
	(COMMENT **FASL** 2211. (LAP HAS-NON-ZERO-FORCE SUBR)) 
	(COMMENT **FASL** 2219. (LAP CSR:COMPUTE-CONSID-FORCES SUBR)) 
	(COMMENT **FASL** 2273. (LAP CSR:COMPUTE-CONSID-FORCE SUBR)) 
	(COMMENT **FASL** 2304. (LAP CSR:CERTAIN-AWPC SUBR)) 
	(COMMENT **FASL** 2316. (LAP CSR:CERTAINLY-FALSE-AWPC SUBR)) 
	(COMMENT **FASL** 2326. (LAP CSR:CREATE-NEGATION-CONSIDS SUBR)) 
	(COMMENT **FASL** 2383. (LAP MIN-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2403. (LAP CSR:COMPUTE-BEL-LEVEL SUBR)) 
	(COMMENT **FASL** 2428. (LAP QUANT-MP-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2451. (LAP |[MRS,LSP]CSREAS.LSP←1.| SUBR)) 
	(COMMENT **FASL** 2477. (LAP |[MRS,LSP]CSREAS.LSP←2.| SUBR)) 
	(COMMENT **FASL** 2481. (LAP |[MRS,LSP]CSREAS.LSP←3.| SUBR)) 
	(COMMENT **FASL** 2484. (LAP |[MRS,LSP]CSREAS.LSP←4.| SUBR)) 
	(COMMENT **FASL** 2494. (LAP |[MRS,LSP]CSREAS.LSP←5.| SUBR)) 
	(COMMENT **FASL** 2496. (LAP |[MRS,LSP]CSREAS.LSP←6.| SUBR)) 
	(COMMENT **FASL** 2499. (LAP QUANT-MP-B-METHOD SUBR)) 
	(COMMENT **FASL** 2745. (LAP STATIST-BM-PREDICATE1 SUBR)) 
	(COMMENT **FASL** 2768. (LAP |[MRS,LSP]CSREAS.LSP←7.| SUBR)) 
	(COMMENT **FASL** 2794. (LAP |[MRS,LSP]CSREAS.LSP←8.| SUBR)) 
	(COMMENT **FASL** 2798. (LAP |[MRS,LSP]CSREAS.LSP←9.| SUBR)) 
	(COMMENT **FASL** 2801. (LAP |[MRS,LSP]CSREAS.LSP←10.| SUBR)) 
	(COMMENT **FASL** 2811. (LAP |[MRS,LSP]CSREAS.LSP←11.| SUBR)) 
	(COMMENT **FASL** 2813. (LAP |[MRS,LSP]CSREAS.LSP←12.| SUBR)) 
	(COMMENT **FASL** 2816. (LAP STATIST-B-METHOD SUBR)) 
	(COMMENT **FASL** 3062. (LAP XPRG LSUBR)) 
	(COMMENT **FASL** 3086. (LAP EXPLORE-R-GRAPH LSUBR)) 
'R-GRAPH-DISPLAY-DIRECTORY-ENTRY 
'R-GRAPH-DISPLAY-LINE 
'D-LINE-POINTER-PAIR 
	(COMMENT **FASL** 3414. (LAP CSR:SUMMARIZE-R-GRAPH SUBR)) 
	(COMMENT **FASL** 3445. (LAP CSR:NORMALIZE-DISPLAY-LIST SUBR)) 
	(COMMENT **FASL** 3492. (LAP |[MRS,LSP]CSREAS.LSP←13.| SUBR)) 
	(COMMENT **FASL** 3500. (LAP CSR:PUSH-D-LINES SUBR)) 
	(COMMENT **FASL** 3529. (LAP PROPAGATE-MAX-LEVEL SUBR)) 
	(COMMENT **FASL** 3549. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINES:RP-NODE SUBR)) 
	(COMMENT **FASL** 3671. (LAP CSR:CONSTRUCT-RG-DISPLAY-LINE SUBR)) 
	(COMMENT **FASL** 3865. (LAP CSR:DISPLAY-RG-SUMMARY SUBR)) 
	(COMMENT **FASL** 3897. (LAP CSR:DISPLAY-RG-D-LIST SUBR)) 
	(COMMENT **FASL** 3979. (LAP DISPLAY-CURRENT-ITEM SUBR)) 
	(COMMENT **FASL** 3994. (LAP MOVE-TO-NEW-ITEM SUBR)) 
	(COMMENT **FASL** 4069. (LAP DISPLAY-B∨Q-F-DESCRIPTS SUBR)) 
	(COMMENT **FASL** 4115. (LAP IDENTIFY-ITEM SUBR)) 
	(COMMENT **FASL** 4195. (LAP DISPLAY-RP-NODE SUBR)) 
	(COMMENT **FASL** 4504. (LAP CSR:CLASSIFY-CONSIDS SUBR)) 
	(COMMENT **FASL** 4539. (LAP DISPLAY-RPN-BL-GROUNDS SUBR)) 
	(COMMENT **FASL** 4648. (LAP DBQ SUBR)) 
	(COMMENT **FASL** 4649. (LAP DISPLAY-BLF∨QRY SUBR)) 
	(COMMENT **FASL** 4774. (LAP B∨Q∧EPIST-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 4849. (LAP RPN-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 4884. (LAP DISPLAY-CONSID SUBR)) 
	(COMMENT **FASL** 5103. (LAP C-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5157. (LAP XPRG-HELP SUBR)) 
	(COMMENT **FASL** 5176. (LAP XPTR LSUBR)) 
	(COMMENT **FASL** 5195. (LAP EXPLORE-TASK-RECORD LSUBR)) 
	(COMMENT **FASL** 5475. (LAP MOVE-TO-TASK SUBR)) 
	(COMMENT **FASL** 5575. (LAP COUNT-TASKS SUBR)) 
	(COMMENT **FASL** 5637. (LAP CLASSIFY-TASKS SUBR)) 
	(COMMENT **FASL** 5687. (LAP DISPLAY-TASK SUBR)) 
	(COMMENT **FASL** 5756. (LAP DISPLAY-TASK-ARGS SUBR)) 
	(COMMENT **FASL** 5759. (LAP TASK-FIELD-CONTENTS SUBR)) 
	(COMMENT **FASL** 5811. (LAP XPTR-HELP SUBR)) 
(COMMENT **** (TAB GET-XPDN-COMMAND %UMATCH CONTEXT:PRED-LOOKUP
CONTEXT:PRED-LOOKUP-ALL TCONC CONTEXT:ADD CONTEXT:LOOKUP
CONTEXT:SPROUT-CONTEXT LT-TYPE) have been used but remain undefined in this
file)
	(COMMENT **FASL** TOTAL =  5827. WORDS)